[merge] gnulib: adjust to upstream _HEADERS change
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Feb 2011 08:29:50 +0000 (00:29 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Feb 2011 08:29:50 +0000 (00:29 -0800)

Trivial merge